(check (= (+ -1 1) 0))
